Preemption Primitives in Reactive Languages ? ( A Preliminary Report ) Sophie Pinchinat ? ? , Eric Rutten ? ?
نویسندگان
چکیده
In this paper, we study preemption primitives in reactive languages such as Esterel and Signal (and its extension SignalGT_) in a common framework. This enables us to compare behavioural/structural expressive powers of diierent languages and gives an insight into the complementarity of diierent control and data-ow abstractions in the reactive languages. Such a study also provides a basis on which a basic set of preemption primitives can be incorporated in reactive languages from the point of view of expressive completeness.
منابع مشابه
Preemption Primitives in Reactive Languages (A Preliminary Report)
In this paper, we study preemption primitives in reactive languages such as Esterel and Signal (and its extension SignalGT_) in a common framework. This enables us to compare behavioural/structural expressive powers of diierent languages and gives an insight into the complementarity of diierent control and data-ow abstractions in the reactive languages. Such a study also provides a basis on whi...
متن کاملTaxonomy and Expressiveness of Preemption: A Syntactic Approach
We propose a taxonomy of preemptive (suspensive and abortive) operators capturing the intuition of such operators that exist in the various synchronous languages. Some of the main contributions of the paper are: a precise notion of preemption is established at a structural level ; we show that the class of suspensive operators is strictly more expressive than abortive operators, and we show tha...
متن کاملReactivity, Concurrency, Data--ow and Hierarchical Preemption for Behavioural Animation
Behavioural models ooer the ability to simulate autonomous entities like organisms and living beings. Such entities are able to perceive their environment, to communicate with other creatures and to execute some decided actions either on themselves or on their environment. Building such systems requires the design of a reactive system treating ows of data to and from its environment, in a compl...
متن کاملFrom Data - Flow Task to Multitasking : Applying theSynchronous
| In this paper, we apply the synchronous approach to real time active visual three-dimensional (3-D) reconstruction using a camera mounted on a robot end-eeector. It illustrates the adequateness of SIGNAL, a synchronous data ow programming language and environment, for the speciication of a system dealing with various domains in control theory and computer vision. More precisely, our applicati...
متن کاملIeee Copyright Notice Real Time Active Visual Reconstruction Using the Synchronous Paradigm
Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. Abstract In this paper, we apply the synchronous approach to real time ac...
متن کامل